Le cours a pour objectif de donner des éléments permettant de mieux comprendre le calcul sur ordianteur et ses limites
et de modéliser des raisonnements
Compétences acquises : Représentation et calcul sur les nombres et leur représentation en machine.
analyser un problème et le traduire en logique des propositions, faire des déductions
Programme: histoire de la numération
représentations des nombres entiers et conversions
représentation des rationnels
représentation des entiers ? complément à 2
représentation des nombres réels en machine
calcul modulaire
calcul des propositions
formes normales
algèbre de Boole - Table de Karnaugh
circuits logiques
arbres de Beth et déductions